机译:安全关键应用程序的软件测试-实时自动化系统的功能和性能测试
机译:用于基于可编程逻辑控制器(PLC)的安全关键型系统开发的软件设计规范和分析技术(SDSAT)
机译:适用于安全关键型应用的基于实时内核的可编程逻辑控制器的软件认证:工具和技术
机译:基于模型的安全关键软件安全测试自动化
机译:基于安全性模型的GPCA输液泵实时嵌入式软件开发
机译:重症患者的软件指导血糖控制与护士指导血糖控制:LOGIC-2多中心随机对照临床试验
机译:基于模型的安全关键实时控制逻辑软件测试
机译:实时软件用于核材料处理临界安全控制